types theory - traducción al ruso
Diclib.com
Diccionario ChatGPT
Ingrese una palabra o frase en cualquier idioma 👆
Idioma:

Traducción y análisis de palabras por inteligencia artificial ChatGPT

En esta página puede obtener un análisis detallado de una palabra o frase, producido utilizando la mejor tecnología de inteligencia artificial hasta la fecha:

  • cómo se usa la palabra
  • frecuencia de uso
  • se utiliza con más frecuencia en el habla oral o escrita
  • opciones de traducción
  • ejemplos de uso (varias frases con traducción)
  • etimología

types theory - traducción al ruso

CONCEPT IN MATHEMATICAL LOGIC AND COMPUTER SCIENCE
Typed logic; Theory of types; Type Theory; Theory of Types; Type-theoretic; Type (mathematics); System of types; Logical type; Theory of Logical Types; Equality type; Propositional equality; Type (type theory); Draft:Universe (type theory); Universe types; Elementary Theory of the Category of Sets; Universe type; Applications of type theory; List of type theories; Natural language semantics and type theory

types theory      
теории типов; теория типизации объектов по определенным свойствам.
theory of types         

математика

теория типов

logical type         

математика

логический тип

Definición

ИГР ТЕОРИЯ
раздел математики, предметом которого является анализ принятия оптимальных решений в условиях конфликта. Возникнув из задач классической теории вероятностей, теория игр превратилась в самостоятельный раздел в 1945-1955. Таким образом, теория игр - один из новейших разделов математики. Наиболее полное изложение идей и методов теории игр впервые появилось в 1944 в труде Теория игр и экономическое поведение (Theory of Games and Economic Behavior) математика Дж.фон Неймана (1903-1957) и экономиста О.Моргенштерна (1902-1977). Фон Нейман опубликовал несколько работ по теории игр в 1928 и 1935; другим предшественником теории игр по праву считается французский математик Э.Борель (1871-1956). Некоторые фундаментальные идеи были независимо предложены А.Вальдом (1902-1950), заложившим основы нового подхода к статистической теории принятия решений. См. также ВЕРОЯТНОСТЕЙ ТЕОРИЯ
.
Первые приложения теория игр нашла в математической статистике и в решении некоторых возникших во время второй мировой войны военных проблем специального характера. Ее использовали как плодотворный источник теоретических моделей в экономике и социологии. Методы теории игр используются также в теории операций и в линейном программировании.
См. также:

Wikipedia

Type theory

In mathematics, logic, and computer science, a type theory is the formal presentation of a specific type system, and in general type theory is the academic study of type systems. Some type theories serve as alternatives to set theory as a foundation of mathematics. Two influential type theories that were proposed as foundations are Alonzo Church's typed λ-calculus and Per Martin-Löf's intuitionistic type theory. Most computerized proof-writing systems use a type theory for their foundation. A common one is Thierry Coquand's Calculus of Inductive Constructions.

¿Cómo se dice types theory en Ruso? Traducción de &#39types theory&#39 al Ruso